| Gesetze der Aussagenlogik | |
|---|---|
| Idempotenz | |
| a) A ∧ A ≡ A | b) A ∨ A ≡ A |
| Assoziativgesetz | |
| a) (A ∧ B) ∧ C ≡ A ∧ (B ∧ C) | b) (A ∨ B) ∨ C ≡ A ∨ (B ∨ C) |
| Kommutativgesetz | |
| a) A ∧ B ≡ B ∧ A | b) A ∨ B ≡ B ∨ A |
| Distributivgesetz | |
| a) A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) | b) A ∨ (B ∧ C) ≡ (A ∨ B) ∧ (A ∨ C) |
| Identitätsgesetz | |
| a) A ∧ F ≡ F | b) A ∨ T ≡ T |
| a) A ∧ T ≡ A | b) A ∨ F ≡ A |
| Gesetz der doppelten Verneinung | |
| a) ¬(¬A) ≡ A | |
| Komplemente | |
| a) A ∧ ¬A ≡ F | b) A ∨ ¬A ≡ T |
| a) ¬T ≡ F | b) ¬F ≡ T |
| Gesetz von de Morgan | |
| a) ¬(A ∧ B) ≡ ¬A ∨ ¬B | b) ¬(A ∨ B) ≡ ¬A ∧ ¬B |